翻訳と辞書 Words near each other ・ Rational Application Developer ・ Rational approximation ・ Rational arrival process ・ Rational Asset Manager ・ Rational Automation Framework ・ Rational basis review ・ Rational behavior therapy ・ Rational Business Developer ・ Rational choice institutionalism ・ Rational choice theory ・ Rational choice theory (criminology) ・ Rational ClearCase ・ Rational ClearCase UCM ・ Rational ClearQuest ・ Rational conformal field theory ・ Rational consequence relation ・ Rational data type ・ Rational dependence ・ Rational depression ・ Rational design ・ Rational difference equation ・ Rational DOORS ・ Rational economic exchange ・ Rational egoism ・ Rational emotive behavior therapy ・ Rational expectations ・ Rational fideism ・ Rational function ・ Rational Functional Tester ・ Rational herding Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Rational consequence relation ： ウィキペディア英語版 Rational consequence relation In logic, a rational consequence relation is a non-monotonic consequence relation satisfying certain properties listed below. ==Properties== A rational consequence relation satisfies: :; REF : Reflexivity $\backslash theta\; \backslash vdash\; \backslash theta$ and the so-called Gabbay-Makinson rules: :; LLE : Left Logical Equivalence $\backslash frac$ :; RWE : Right-hand weakening $\backslash frac$ :; CMO : Cautious monotonicity $\backslash frac$ :; DIS : Logical or (ie disjunction) on left hand side $\backslash frac$ :; AND : Logical and on right hand side $\backslash frac$ :; RMO : Rational monotonicity $\backslash frac$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Rational consequence relation」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.